jEdit can be started with "-nosettings" on the command-line, in which case it will
run without a settings directory. Many plugins require a settings directory, and cannot
run without (e.g. CtagsInterface). Instead of dealing with this case in plugin code,
better add a property to the plugin props file that specifies whether the plugin requires
a settings directory in order to run (default: false), something like:
plugin.<plugin-id>.requires-settings-directory=true
If this property is set to true, jEdit will not activate the plugin when invoked with
"-nosettings".
Submitted | shlomy - 2008-07-01 - 08:14:16z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | core |
Status | Open | Group | None |
Resolution | None | Visibility | No |